Avant-propos et remerciements

Avant Propos

Avant-propos.

Kantorovitch's theorem gives su cient conditions for the convergence of Newton's method. We presenta full formalization of this theorem in the case of a real function. The work is accomplished inside the Coqproof assistant and it is based on the Reals library provided by the theorem prover. For the general case ofthe theorem we rst describe a way to represent concepts from multivari...

Acknowledgements – Remerciements

Acknowledgements are too important to be expressed in a language that is not well mastered. For this reason, I choose to mostly write them in French. On perçoit souvent le chercheur comme une entité isolée, déconnectée du réel et du monde des vivants. Ce n'est pas mon cas. Si j'ai choisi de travailler sur les langages de programmation, c'est qu'` a mon sens le verbe est essentieì a la construct...

REMERCIEMENTS Contents

l arteriosclerose et le diabete ( a propos de 24 operations)

0